<div>
    URL da cui scaricare lo strumento in forma binaria. Dovrebbe essere un
    file TAR compresso con ZIP o con gzip. Il timestamp sul server sarà
    confrontato con quello della versione locale (se presente) in modo da
    consentire una facile pubblicazione degli aggiornamenti. L'URL dev'essere
    accessibile dal master Jenkins, ma non è necessario che sia accessibile
    dagli agenti.
</div>
